module YE = Yoneda_Embedding(BtoAImpl);
YE.fromY(id) /* output type : BtoA.b => BtoA.a */
